paper-with-me

홈 › Papers

Combining Propositional Logic Based Decision Diagrams with Decision Making in Urban Systems

2020-11-09 · Jiajing Ling, Kushagra Chandak, Akshat Kumar

Solving multiagent problems can be an uphill task due to uncertainty in the environment, partial observability, and scalability of the problem at hand. Especially in an urban setting, there are more challenges since we also need to maintain safety for all users while minimizing congestion of the agents as well as their travel times. To this end, we tackle the problem of multiagent pathfinding under uncertainty and partial observability where the agents are tasked to move from their starting points to ending points while also satisfying some constraints, e.g., low congestion, and model it as a multiagent reinforcement learning problem. We compile the domain constraints using propositional logic and integrate them with the RL algorithms to enable fast simulation for RL.

📄 PDF Abstract BibTeX arXiv:2011.04405

Code (0)

등록된 구현이 없습니다.

Tasks

Decision Makingreinforcement-learningReinforcement Learning (RL)

Methods 이 논문이 사용한 방법론

Travel 설명 없음

Similar Papers 제목 키워드 기반

Probabilistic Relational Planning with First Order Decision Diagrams

2014-01-16 · Saket Joshi, Roni Khardon

Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diagrams, to capture domain dynamics and valu…

Ordered {AND, OR}-Decomposition and Binary-Decision Diagram

2012-08-14 · Yong Lai, Dayou Liu

In the context of knowledge compilation (KC), we study the effect of augmenting Ordered Binary Decision Diagrams (OBDD) with two kinds of decomposition nodes, i.e., AND-vertices and OR-vertices which denote conjunctive a…

Canonical Decision Diagrams Modulo Theories

2024-04-25 · Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

Decision diagrams (DDs) are powerful tools to represent effectively propositional formulas, which are largely used in many domains, in particular in formal verification and in knowledge compilation. Some forms of DDs (e.…

Belief Revision in Sentential Decision Diagrams

2022-01-20 · Lilith Mattei, Alessandro Facchini, Alessandro Antonucci

Belief revision is the task of modifying a knowledge base when new information becomes available, while also respecting a number of desirable properties. Classical belief revision schemes have been already specialised to…

Decision Tree Learning with Spatial Modal Logics

2021-09-17 · Giovanni Pagliarini, Guido Sciavicco

Symbolic learning represents the most straightforward approach to interpretable modeling, but its applications have been hampered by a single structural design choice: the adoption of propositional logic as the underlyin…

image-classificationImage Classification