2023-06-28 23:24:23 +0200 | received badge | ● Taxonomist |
2016-06-27 20:09:41 +0200 | commented answer | Solving Logic Problems How can my question be expressed as an ILP problem? |
2016-06-27 19:34:55 +0200 | commented answer | Solving Logic Problems I don't really have a better example. My interest is in solving arbitrary systems of constraints, which I understand is a tall order. I believe the first step is to identify what problem domain a set of constraints belongs to. For example, you can model aerodynamic drag as a function "constrained" by an ODE and boundary conditions. Recognizing that problem class, a solution can be determined symbolically. However, I don't know what problem domain my original question falls into; only that it's presented in some logic that includes arithmetic operations and inequalities. I believe Prolog can handle questions like this, so I hoped that sagemath could too. I also noticed that there's a "sudoku" function which, to me atleast, indicates some kind of satisfiability solving. |
2016-06-27 18:54:17 +0200 | commented answer | Solving Logic Problems The case I present is contrived. What general method can offer solutions for which the set of candidates is "large"? |
2016-06-27 18:46:20 +0200 | received badge | ● Nice Question (source) |
2016-06-27 18:06:30 +0200 | asked a question | Solving Logic Problems A few years ago I asked this question. I have another question along the same lines. Sorry about the <-> notation, I don't know how else to indicate bijection: Can sagemath determine that: |
2016-06-27 17:40:04 +0200 | received badge | ● Popular Question (source) |
2016-06-27 17:40:04 +0200 | received badge | ● Notable Question (source) |
2013-04-29 04:11:55 +0200 | received badge | ● Student (source) |
2013-04-28 14:18:08 +0200 | marked best answer | Solving logic problems |
2013-04-28 14:18:08 +0200 | received badge | ● Scholar (source) |
2013-04-28 14:18:05 +0200 | received badge | ● Supporter (source) |
2013-04-27 15:48:08 +0200 | asked a question | Solving logic problems Given a set of rules, for example: 1. Mary is older than Tom, 2. Tom is older than Sue; Can sage solve the question, "is Mary older than Sue?" More specifically, is Sage able to do what Prolog does - unification of logic problems? Thanks |