satre 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 9284e24b8881153af1c176da6c00ad1d941e9865
+  data.tar.gz: c7b867612d502482258b27a8c3394ed4a3108021
+SHA512:
+  metadata.gz: 52e4914ee2c6494410df25eb227410a1c6937721b9294968c7fe9ef61f55ba7c1fd8922c4e6b96414357b26033d7a70be0e74046ad003b3018ac5d8fece54c0a
+  data.tar.gz: baa4ae312af5b6eb16d81887d02f823111097388236f0c566583aa57a4a15b7738294852b7cefae4b6241a45cfb4500442dfb7db3ffcbf52d149dd488f75cdb8

data/.gitignore

@@ -0,0 +1,35 @@
+*.gem
+*.rbc
+/.config
+/coverage/
+/InstalledFiles
+/pkg/
+/spec/reports/
+/test/tmp/
+/test/version_tmp/
+/tmp/
+
+## Specific to RubyMotion:
+.dat*
+.repl_history
+build/
+
+## Documentation cache and generated files:
+/.yardoc/
+/_yardoc/
+/doc/
+/rdoc/
+
+## Environment normalisation:
+/.bundle/
+/vendor/bundle
+/lib/bundler/man/
+
+# for a library or gem, you might want to ignore these files since the code is
+# intended to run in multiple environments; otherwise, check them in:
+# Gemfile.lock
+# .ruby-version
+# .ruby-gemset
+
+# unless supporting rvm < 1.11.0 or doing something fancy, ignore this:
+.rvmrc

data/.travis.yml

@@ -0,0 +1,4 @@
+language: ruby
+rvm:
+  - 2.2.1
+before_install: gem install bundler -v 1.10.6

data/CODE_OF_CONDUCT.md

@@ -0,0 +1,13 @@
+# Contributor Code of Conduct
+
+As contributors and maintainers of this project, we pledge to respect all people who contribute through reporting issues, posting feature requests, updating documentation, submitting pull requests or patches, and other activities.
+
+We are committed to making participation in this project a harassment-free experience for everyone, regardless of level of experience, gender, gender identity and expression, sexual orientation, disability, personal appearance, body size, race, ethnicity, age, or religion.
+
+Examples of unacceptable behavior by participants include the use of sexual language or imagery, derogatory comments or personal attacks, trolling, public or private harassment, insults, or other unprofessional conduct.
+
+Project maintainers have the right and responsibility to remove, edit, or reject comments, commits, code, wiki edits, issues, and other contributions that are not aligned to this Code of Conduct. Project maintainers who do not follow the Code of Conduct may be removed from the project team.
+
+Instances of abusive, harassing, or otherwise unacceptable behavior may be reported by opening an issue or contacting one or more of the project maintainers.
+
+This Code of Conduct is adapted from the [Contributor Covenant](http://contributor-covenant.org), version 1.0.0, available at [http://contributor-covenant.org/version/1/0/0/](http://contributor-covenant.org/version/1/0/0/)

data/Gemfile

@@ -0,0 +1,3 @@
+source 'https://rubygems.org'
+
+gemspec

data/Gemfile.lock

@@ -0,0 +1,110 @@
+PATH
+  remote: .
+  specs:
+    satre (0.1.0)
+      terminal-table
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    ast (2.1.0)
+    astrolabe (1.3.1)
+      parser (~> 2.2)
+    coderay (1.1.0)
+    diff-lcs (1.2.5)
+    docile (1.1.5)
+    ffi (1.9.10)
+    formatador (0.2.5)
+    guard (2.13.0)
+      formatador (>= 0.2.4)
+      listen (>= 2.7, <= 4.0)
+      lumberjack (~> 1.0)
+      nenv (~> 0.1)
+      notiffany (~> 0.0)
+      pry (>= 0.9.12)
+      shellany (~> 0.0)
+      thor (>= 0.18.1)
+    guard-bundler (2.1.0)
+      bundler (~> 1.0)
+      guard (~> 2.2)
+      guard-compat (~> 1.1)
+    guard-compat (1.2.1)
+    guard-minitest (2.4.4)
+      guard-compat (~> 1.2)
+      minitest (>= 3.0)
+    guard-rubocop (1.2.0)
+      guard (~> 2.0)
+      rubocop (~> 0.20)
+    json (1.8.3)
+    listen (3.0.5)
+      rb-fsevent (>= 0.9.3)
+      rb-inotify (>= 0.9)
+    lumberjack (1.0.9)
+    method_source (0.8.2)
+    minitest (5.8.3)
+    nenv (0.2.0)
+    notiffany (0.0.8)
+      nenv (~> 0.1)
+      shellany (~> 0.0)
+    parser (2.2.3.0)
+      ast (>= 1.1, < 3.0)
+    powerpack (0.1.1)
+    pry (0.10.3)
+      coderay (~> 1.1.0)
+      method_source (~> 0.8.1)
+      slop (~> 3.4)
+    rainbow (2.0.0)
+    rake (10.4.2)
+    rb-fsevent (0.9.6)
+    rb-inotify (0.9.5)
+      ffi (>= 0.5.0)
+    rspec (3.4.0)
+      rspec-core (~> 3.4.0)
+      rspec-expectations (~> 3.4.0)
+      rspec-mocks (~> 3.4.0)
+    rspec-core (3.4.0)
+      rspec-support (~> 3.4.0)
+    rspec-expectations (3.4.0)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.4.0)
+    rspec-mocks (3.4.0)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.4.0)
+    rspec-support (3.4.0)
+    rubocop (0.35.1)
+      astrolabe (~> 1.3)
+      parser (>= 2.2.3.0, < 3.0)
+      powerpack (~> 0.1)
+      rainbow (>= 1.99.1, < 3.0)
+      ruby-progressbar (~> 1.7)
+      tins (<= 1.6.0)
+    ruby-progressbar (1.7.5)
+    shellany (0.0.1)
+    simplecov (0.11.1)
+      docile (~> 1.1.0)
+      json (~> 1.8)
+      simplecov-html (~> 0.10.0)
+    simplecov-html (0.10.0)
+    slop (3.6.0)
+    terminal-table (1.5.2)
+    thor (0.19.1)
+    tins (1.6.0)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  bundler (~> 1.10)
+  guard-bundler
+  guard-minitest
+  guard-rubocop
+  minitest
+  pry
+  rake (~> 10.0)
+  rspec
+  rubocop
+  satre!
+  simplecov
+
+BUNDLED WITH
+   1.10.6

data/Guardfile

@@ -0,0 +1,42 @@
+guard :rubocop do
+  watch(%r{.+\.rb$})
+  watch(%r{(?:.+/)?\.rubocop\.yml$}) { |m| File.dirname(m[0]) }
+end
+
+guard :bundler do
+  require 'guard/bundler'
+  require 'guard/bundler/verify'
+  helper = Guard::Bundler::Verify.new
+
+  files = ['Gemfile']
+  files += Dir['*.gemspec'] if files.any? { |f| helper.uses_gemspec?(f) }
+
+  # Assume files are symlinked from somewhere
+  files.each { |file| watch(helper.real_path(file)) }
+end
+
+guard :minitest do
+  # with Minitest::Unit
+  watch(%r{^test/(.*)\/?test_(.*)\.rb$})
+  watch(%r{^lib/(.*/)?([^/]+)\.rb$})     { |m| "test/#{m[1]}test_#{m[2]}.rb" }
+  watch(%r{^test/test_helper\.rb$})      { 'test' }
+
+  # with Minitest::Spec
+  # watch(%r{^spec/(.*)_spec\.rb$})
+  # watch(%r{^lib/(.+)\.rb$})         { |m| "spec/#{m[1]}_spec.rb" }
+  # watch(%r{^spec/spec_helper\.rb$}) { 'spec' }
+
+  # Rails 4
+  # watch(%r{^app/(.+)\.rb$})                               { |m| "test/#{m[1]}_test.rb" }
+  # watch(%r{^app/controllers/application_controller\.rb$}) { 'test/controllers' }
+  # watch(%r{^app/controllers/(.+)_controller\.rb$})        { |m| "test/integration/#{m[1]}_test.rb" }
+  # watch(%r{^app/views/(.+)_mailer/.+})                   { |m| "test/mailers/#{m[1]}_mailer_test.rb" }
+  # watch(%r{^lib/(.+)\.rb$})                               { |m| "test/lib/#{m[1]}_test.rb" }
+  # watch(%r{^test/.+_test\.rb$})
+  # watch(%r{^test/test_helper\.rb$}) { 'test' }
+
+  # Rails < 4
+  # watch(%r{^app/controllers/(.*)\.rb$}) { |m| "test/functional/#{m[1]}_test.rb" }
+  # watch(%r{^app/helpers/(.*)\.rb$})     { |m| "test/helpers/#{m[1]}_test.rb" }
+  # watch(%r{^app/models/(.*)\.rb$})      { |m| "test/unit/#{m[1]}_test.rb" }
+end

data/LICENSE

@@ -0,0 +1,22 @@
+The MIT License (MIT)
+
+Copyright (c) 2015 Roman C. Podolski
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+

data/README.md

@@ -0,0 +1,82 @@
+# Satre
+
+Congito ergo sum - I think therefore I am.
+
+[![Build Status](https://travis-ci.org/RomanCPodolski/satre.svg)](https://travis-ci.org/RomanCPodolski/satre)
+[![Code Climate](https://codeclimate.com/github/RomanCPodolski/satre/badges/gpa.svg)](https://codeclimate.com/github/RomanCPodolski/satre)
+[![Test Coverage](https://codeclimate.com/github/RomanCPodolski/satre/badges/coverage.svg)](https://codeclimate.com/github/RomanCPodolski/satre/coverage)
+[![Issue Count](https://codeclimate.com/github/RomanCPodolski/satre/badges/issue_count.svg)](https://codeclimate.com/github/RomanCPodolski/satre)
+  
+Satre is a library for proportional and first order logic problem solving in ruby.
+It was inspired by the book ['Handbook of practical logic and automated reasoning' by Harrison, J (2009)](http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/handbook-practical-logic-and-automated-reasoning).
+  
+This project originated at the [Technical University Munich](http://www.tum.de) as a students project in the lecture ['Basics of Artificial Intelligence'](http://www6.in.tum.de/Main/TeachingWs2014KuenstlicheIntelligenz).
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'satre'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install satre
+
+## Usage
+
+For examples look at the file `bin/exercise`.
+The see the results of the exercise run `./bin/exercise` from the root directory of this project.
+
+To embed proportional logic solving in your project one can use `String#to_formula`, on a well formed proportional logic string.
+Possible operations are
+
+  * True value `"True"`
+  * False value `"False"`
+  * Atomic logical variable `"A"` (or any other alphanumeric combination)
+  * logical negation `"~A"`
+  * logical and `"A /\\ B"`
+  * logical or `"A \\/ B"`
+  * Implies `"A <=> B"`
+  * If and only if `"A => B"`
+  * Entails `"A |= B"`
+
+An example
+
+```ruby
+formula = '(Fire => Smoke) /\\ Fire /\\ ~Smoke'.to_formula 
+```
+
+To evaluate a formula use `Satre::Formula#eval`
+
+```ruby
+formula = '(Fire => Smoke) /\\ Fire /\\ ~Smoke'.to_formula 
+formula.eval 'Fire' => true, 'Smoke' => true
+```
+
+Further are provided `Satre::Formula#tauntolgy?`,`Satre::Formula#satisfiable?`,`Satre::Formula#unsatisfiable?`
+
+For further information see the doc.
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies.
+Then, run `rake` to run the tests.
+You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`.
+To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/RomanCPodolski/satre.
+This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the [Contributor Covenant](http://contributor-covenant.org) code of conduct.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](http://opensource.org/licenses/MIT).

data/Rakefile

@@ -0,0 +1,17 @@
+require 'bundler/gem_tasks'
+require 'rake/testtask'
+require 'rdoc/task'
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+  t.libs << "lib"
+  t.test_files = FileList['test/**/*_test.rb']
+end
+
+Rake::RDocTask.new do |rd|
+  rd.main = 'README.md'
+  rd.rdoc_files.include("README.md", "lib/**/*.rb")
+  rd.options << "--all"
+end
+
+task default: [ :test, :rdoc ]

data/bin/console

@@ -0,0 +1,9 @@
+#!/usr/bin/env ruby
+
+require 'bundler/setup'
+require 'satre'
+
+include Satre
+
+require 'pry'
+Pry.start

data/bin/exercise

@@ -0,0 +1,70 @@
+#!/usr/bin/env ruby
+
+require 'bundler/setup'
+require 'satre'
+require 'terminal-table'
+
+include Satre
+
+problem_4_1_1 = 'False |= True'.to_formula 
+problem_4_1_2 = 'True |= False'.to_formula 
+problem_4_1_3 = '(A /\\ B) |= (A <=> B)'.to_formula 
+problem_4_1_4 = '(A <=> B) |= A \\/ B'.to_formula 
+problem_4_1_5 = '(A <=> B) |= ~A \\/ B'.to_formula 
+
+problem_4_2_1 = 'Smoke => Smoke'.to_formula 
+problem_4_2_2 = '(Smoke => Fire) => (~Smoke => ~Fire)'.to_formula 
+problem_4_2_3 = 'Smoke \\/ Fire \\/ ~Fire'.to_formula 
+problem_4_2_4 = '(Fire => Smoke) /\\ Fire /\\ ~Smoke'.to_formula 
+
+bsays = 'b <=> (a <=> ~a)'.to_formula
+csays = 'c <=> ~b'.to_formula
+
+kb = And.new(bsays, csays)
+
+a_is_knight = Entails.new(kb,'a'.to_formula)
+a_is_knave  = Entails.new(kb,'~a'.to_formula)
+b_is_knight = Entails.new(kb,'b'.to_formula)
+b_is_knave  = Entails.new(kb,'~b'.to_formula)
+c_is_knight = Entails.new(kb,'c'.to_formula)
+c_is_knave  = Entails.new(kb,'~c'.to_formula)
+
+problem_4_1 = Terminal::Table.new do |t|
+  t.title = 'Problem 4.1'
+  t.headings = ['', 'Formula', 'Result' ]
+  t << ['1.', problem_4_1_1, problem_4_1_1.eval ]
+  t << ['2.', problem_4_1_2, problem_4_1_2.eval ]
+  t << ['3.', problem_4_1_3, problem_4_1_3.eval ]
+  t << ['4.', problem_4_1_4, problem_4_1_4.eval ]
+  t << ['5.', problem_4_1_5, problem_4_1_5.eval ]
+end
+
+
+problem_4_2 = Terminal::Table.new do |t|
+  t.title = 'Problem 4.2'
+  t.headings = ['', 'Formula', 'tauntolgy?', 'satifiable?', 'unsatifiable?']
+  t << ['1.', problem_4_2_1, problem_4_2_1.tautology?, problem_4_2_1.satifiable?, problem_4_2_1.unsatifiable? ]
+  t << ['2.', problem_4_2_2, problem_4_2_2.tautology?, problem_4_2_2.satifiable?, problem_4_2_2.unsatifiable? ]
+  t << ['3.', problem_4_2_3, problem_4_2_3.tautology?, problem_4_2_3.satifiable?, problem_4_2_3.unsatifiable? ]
+  t << ['4.', problem_4_2_4, problem_4_2_4.tautology?, problem_4_2_4.satifiable?, problem_4_2_4.unsatifiable? ]
+end
+
+problem_4_3 = Terminal::Table.new do |t|
+  t.title = 'Problem 4.2'
+  t.headings = ['', 'a', 'b', 'c']
+  t << ['is knight?', a_is_knight.eval , b_is_knight.eval , c_is_knight.eval ]
+  t << ['is knave?', a_is_knave.eval , b_is_knave.eval , c_is_knave.eval ]
+end
+
+
+puts problem_4_1
+puts """I used a similar approach in my pencil-and-paper derivations
+first subtitude the entails a |= b with a /\\ ~b and then check this statement
+on unsatisfiability.
+"""
+
+puts problem_4_2
+puts problem_4_3
+
+puts """This approach uses the entails functions to solve the puzzle,
+while in the exercise we substituded with the rules until clear statements were made."""

data/bin/setup

@@ -0,0 +1,7 @@
+#!/bin/bash
+set -euo pipefail
+IFS=$'\n\t'
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/lib/satre.rb

@@ -0,0 +1,6 @@
+require 'satre/version'
+require 'satre/expression'
+require 'satre/lexer'
+require 'satre/formula'
+require 'satre/parser'
+require 'satre/formula_parser'